constructive system 예문

예문

예문 더보기:   1  2  3

1. Hilbert's program for mathematics was to justify those formal systems as consistent in relation to constructive or semi-constructive systems.
2. In parallel to these studies, obtained a range of data related to architectural aspects and constructive systems of structures affected by the investigation.
3. The primitive recursive functions are closely related to mathematical finitism, and are used in several contexts in mathematical logic where a particularly constructive system is desired.
4. The schema form of CT shown above, when added to constructive systems such as HA, implies the negation of the law of the excluded middle.
5. The constructive system, the Catalan vault, was now criticized as a " primitive " technology that represented " backward " values of the capitalist past.